Region Analysis for Race Detection
نویسندگان
چکیده
Automatic race detection of C programs requires fast, yet sufficiently precise, analysis of dynamic memory. Therefore, we present a region-based pointer analysis which seeks to identify disjoint regions of dynamically allocated objects to ensure that write accesses to the same region are always protected by the same mutexes. Our approach has been implemented within the interprocedural analyzer of concurrent C programs GobLint and we have successfully applied it on code from the Linux kernel, such as the access vector cache. This code relies on a synchronized hash table where an array of doubly linked lists is protected by an array of locks.
منابع مشابه
Building a Persian Gulf Missile Defense Shield and its Impact on Regional Security: (2001-2017)
The gradual development of the US missile defense shield from Europe to the Persian Gulf region over the past decade and the deployment of radar components and defenses of this project, both in the Persian Gulf region and in its floating zone, have plenty implications for regional and international systems and has aggravated the fragile security of the Persian Gulf region. Some issues such as t...
متن کاملشناسایی جدایه های Puccinia graminis f. sp. tritici با بیماریزایی برای ژن مقاومت Sr31 در استان های غربی ایران
Stem or black rust of wheat, caused by Puccinia graminis Pers. f. sp. tritici Eriks. and Henn (Pgt), was the most feared and devastating disease of wheat at one time worldwide. The fear from stem rust was understandable because an apparently healthy looking crop about 3 weeks prior to harvest could reduce to a black tangle of broken stems and shriveled grain by harvest. The disease has been co...
متن کاملRolling Bearing Fault Analysis by Interpolating Windowed DFT Algorithm
This paper focuses on the problem of accurate Fault Characteristic Frequency (FCF) estimation of rolling bearing. Teager-Kaiser Energy Operator (TKEO) demodulation has been applied widely to rolling bearing fault detection. FCF can be extracted from vibration signals, which is pre-treatment by TEKO demodulation method. However, because of strong noise background of fault vibration signal, it is...
متن کاملStatic Data Race Analysis for C
This is a survey of sound race detection techniques for C. While the basic lockset algorithm is at the core of most analyzers, the key challenge is to propagate pointer information context-sensitively. The bulk of the paper is, therefore, concerned with different solutions to the problem of context-sensitive pointer alias analysis in the context of race detection. These are the solutions used i...
متن کاملAccelerating Precise Race Detection Using Commercially- Available Hardware Transactional Memory Support
It is typical for state-of-the-art dynamic race detection algorithms for C programs to slow down an application by a large factor. Our measurements indicate that a significant portion of this slowdown is due to additional lock-based synchronization performed by instrumentation code. This synchronization is necessary to ensure atomic update of analysis state. We present the first precise race de...
متن کامل